button: deprecate the inner-border style property
authorCosimo Cecchi <cosimoc@gnome.org>
Tue, 20 Dec 2011 12:20:56 +0000 (13:20 +0100)
committerCosimo Cecchi <cosimoc@gnome.org>
Tue, 20 Dec 2011 18:01:38 +0000 (19:01 +0100)
commit2827cd4518463c4add3cdc94f24ffbe6b931b7ea
tree06b6fca69089693be7ae7a7ae9a7cadcea626a17
parent0021ef19fad074ef11ceedaaf6a028c294d0b435
button: deprecate the inner-border style property

Since we allocate the standard CSS border to the button now, and center
the child accordingly, there's no need for an additional inner-border
style property. Deprecate it and ignore its values.

https://bugzilla.gnome.org/show_bug.cgi?id=666600
gtk/gtkbutton.c